1. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده : / Annabelle McIver, Carroll Morgan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع :
رده :
E-BOOK
2. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده : / Annabelle McIver, Carroll Morgan
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Engineering mathematics.,Probabilities.,Systems engineering.
رده :
TA
,
340
,.
M43
,
2005
3. Programming methodology
پدیدآورنده : Annabelle McIver, Carroll Morgan )eds.(
کتابخانه: (طهران)
موضوع : ، Computer programming
رده :
QA
76
.
6
.
P72
